Książki autorstwa Henk Barendregt

Znaleziono 1 – 4 z 4 pozycji

1. 

   Lambda Calculus. Its Syntax and Semantics

   Henk Barendregt | College Publications, 2012

   
   

   Dostępna u dostawcy - Wysyłamy za 14 - 18 dni

   Język: Angielski

   Oprawa: Miękka

   174.67 zł

   Kup książkę
2. 

   Lambda Calculus with Types

   Henk Barendregt | Cambridge University Press, 2013

   
   

   Dostępna u dostawcy - Wysyłamy za 14 - 18 dni

   Język: Angielski

   Oprawa: Twarda

   485.99 zł

   Kup książkę
3. 

   Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

   Henk Barendregt | Independently Published, 2020

   
   

   Dostępna u dostawcy - Wysyłamy za 14 - 18 dni

   Język: Angielski

   Oprawa: Miękka

   95.84 zł

   Kup książkę
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   289.95 zł

   Kup książkę

Za drobną opłatą książki zapakujemy na prezent. Zobacz więcej